منابع مشابه
On Relation Between P-Matrices and Regularity of Interval Matrices
We explore new results between P-matrix property and regularity of interval matrices. In particular, we show that an interval matrix is regular in and only if some special matrices constructed from its center and radius matrices are P-matrices. We also investigate the converse direction. We reduce the problem of checking P-matrix property to regularity of a special interval matrix. Based on thi...
متن کاملStructuralism, Invariance, and Univalence
The recent discovery of an interpretation of constructive type theory into abstract homotopy theory suggests a new approach to the foundations of mathematics with intrinsic geometric content and a computational implementation. Voevodsky has proposed such a program, including a new axiom with both geometric and logical significance: the Univalence Axiom. It captures the familiar aspect of inform...
متن کاملDecomposing the Univalence Axiom
This paper investigates the univalence axiom in intensional Martin-Löf type theory. In particular, it looks at how univalence can be derived from simpler axioms. We first present some existing work, collected together from various published and unpublished sources; we then we present a new decomposition of the univalence axiom into simpler axioms. We argue that these axioms are easier to verify...
متن کاملDistribution |detx| on p-adic matrices
where d×x denotes a Haar measure on G. Up to constants, for (additive) Haar measure dx on A, d×x = dx/|detx|. For brevity, write |x| for |detx| when possible. [0.1] Convergence The integral defining us converges absolutely in Re(s) > n− 1: Recall the Iwasawa decomposition G = P ·K with P the parabolic subgroup of upper-triangular matrices. Since K is open in G, Haar measure on G restricted to K...
متن کاملOn the Stability of P -Matrices
We establish two sufficient conditions for the stability of a P -matrix. First, we show that a P -matrix is positive stable if its skew-symmetric component is sufficiently smaller (in matrix norm) than its symmetric component. This result generalizes the fact that symmetric P -matrices are positive stable, and is analogous to a result by Carlson which shows that sign symmetric P -matrices are p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Linear Algebra and its Applications
سال: 1979
ISSN: 0024-3795
DOI: 10.1016/0024-3795(79)90161-7